GermanWikipedia - /page/entry.mu

Micron Document

<!DOCTYPE html>

<title>Hilbertprogramm</title>

</head>

<h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">Hilbertprogramm</span></h1>

</header>

</div>

<div id="mw-content-text" class="mw-body-content mw-content-ltr" lang="de" dir="ltr"><div class="mw-content-ltr mw-parser-output" lang="de" dir="ltr"><p>Das <b>Hilbertprogramm</b> ist ein Forschungsprogramm, das der Mathematiker <a href="David_Hilbert" title="David Hilbert">David Hilbert</a> in den 1920er Jahren vorschlug. Es zielt darauf ab, mit <a href="Endlichkeit" class="mw-disambig" title="Endlichkeit">finiten Methoden</a> die <a href="Widerspruchsfreiheit" title="Widerspruchsfreiheit">Widerspruchsfreiheit</a> der Axiomensysteme der Mathematik nachzuweisen. Auch wenn sich das Hilbertprogramm in seinem ursprünglichen Anspruch als undurchführbar erwiesen hat, trug es dennoch entscheidend dazu bei, die Grundlagen und Grenzen mathematischer Erkenntnis zu klären.

</p>

<div class="mw-heading mw-heading2"><h2 id="Hintergrund">Hintergrund</h2></div>

<p>Bereits <a href="Hilbertsche_Probleme" title="Hilbertsche Probleme">Hilberts Liste von 23 mathematischen Problemen</a> aus dem Jahr 1900 nennt die Widerspruchsfreiheit der <a href="Arithmetik" title="Arithmetik">Arithmetik</a> als zweites ungelöstes Problem und regte zur Forschung in diese Richtung an. Das eigentliche Hilbertprogramm mit konkreten Methoden zur Lösung der Widerspruchsproblematik formulierte er aber erst in den Jahren 1918–1922. Hilbert reagierte damit auf die <a href="Antinomie" title="Antinomie">Antinomien</a> der <a href="Naive_Mengenlehre" title="Naive Mengenlehre">naiven Mengenlehre</a> und wollte versuchen, die gesamte „klassische“ <a href="Mathematik" title="Mathematik">Mathematik</a> und <a href="Logik" title="Logik">Logik</a> zu bewahren, ohne dabei auf <a href="Mengenlehre#19._Jahrhundert" title="Mengenlehre">Cantors Mengenlehre</a> zu verzichten.

</p>

<p>„Aus dem Paradies, das Cantor uns geschaffen, soll uns niemand vertreiben können.“

</p>

</blockquote>

</div><div class="cite" style="margin:-1em 0 1em 1em;">– <style data-mw-deduplicate="TemplateStyles:r261921330">

/* start https://de.wikipedia.org/ */

.mw-parser-output .Person{font-variant:small-caps}

/* end https://de.wikipedia.org/ */

</style><span class="Person h-card">David Hilbert</span>: <cite style="font-style:normal">Über das Unendliche</cite><sup id="cite_ref-1" class="reference"><a href="#cite_note-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup></div></div>

<p>Hilberts Programm ist zugleich eine Verteidigung des klassischen Standpunkts gegen den <a href="Intuitionismus_(Logik_und_Mathematik)" title="Intuitionismus (Logik und Mathematik)">Intuitionismus</a>, der einige klassische Beweismethoden wie indirekte Beweise (<a href="Reductio_ad_absurdum" title="Reductio ad absurdum">reductio ad absurdum</a>) oder den <a href="Satz_vom_ausgeschlossenen_Dritten" title="Satz vom ausgeschlossenen Dritten">Satz vom ausgeschlossenen Dritten</a> (tertium non datur) als fragwürdig betrachtete.

</p>

<p>„Dieses Tertium non datur dem Mathematiker zu nehmen, wäre etwa, wie wenn man dem Astronomen das Fernrohr oder dem Boxer den Gebrauch der Fäuste untersagen wollte.“

</p>

</blockquote>

</div><div class="cite" style="margin:-1em 0 1em 1em;">– <span class="Person h-card">David Hilbert</span>: <cite style="font-style:normal">Die Grundlagen der Mathematik</cite><sup id="cite_ref-2" class="reference"><a href="#cite_note-2"><span class="cite-bracket">[</span>2<span class="cite-bracket">]</span></a></sup></div></div>

<p>Hilbert wollte daher die Mathematik als <a href="Formales_System" title="Formales System">formales System</a> neu definieren. <i>Innerhalb</i> dieses Systems sollten die üblichen Beweismethoden zulässig sein. Es sollte dadurch abgesichert werden, dass <i>außerhalb</i> des formalen Systems, im Bereich der <a href="Metamathematik" title="Metamathematik">Metamathematik</a>, die Widerspruchsfreiheit der formal ableitbaren Sätze nachgewiesen wird; den äußeren, metalogischen Bereich schränkte er auf finite Beweismittel ein, die auch die Intuitionisten anerkannten und über jeden Verdacht, Antinomien zu erzeugen, erhaben waren. Das Ziel des Programms war es also, einen streng formalisierten <a href="Kalk%C3%BCl" title="Kalkül">Kalkül</a> bzw. ein <a href="Axiomensystem" title="Axiomensystem">Axiomensystem</a> mit einfachen unmittelbar einleuchtenden Axiomen zu finden, das die Mathematik und Logik auf eine gemeinsame, nachweisbar <a href="Widerspruchsfreiheit" title="Widerspruchsfreiheit">konsistente</a> Basis stellt. Insbesondere sollte der Kalkül mächtig genug sein, um für jeden mathematischen Satz <a href="Beweis_(Mathematik)" title="Beweis (Mathematik)">beweisen</a> zu können, ob er wahr oder falsch ist, und alle wahren Sätze sollten aus dem Axiomensystem ableitbar sein. Dieses musste also <a href="Widerspruchsfreiheit" title="Widerspruchsfreiheit">widerspruchsfrei</a> und <a href="Vollst%C3%A4ndigkeit_(Logik)" title="Vollständigkeit (Logik)">vollständig</a> sein.

</p><p>Das Hilbertprogramm fand breite Beachtung. Viele bekannte Logiker und Mathematiker beteiligten sich daran, unter anderem <a href="Paul_Bernays" title="Paul Bernays">Paul Bernays</a>, <a href="Wilhelm_Ackermann_(Mathematiker)" title="Wilhelm Ackermann (Mathematiker)">Wilhelm Ackermann</a>, <a href="John_von_Neumann" title="John von Neumann">John von Neumann</a>, <a href="Jacques_Herbrand" title="Jacques Herbrand">Jacques Herbrand</a> und <a href="Kurt_G%C3%B6del" title="Kurt Gödel">Kurt Gödel</a>. Sie zeigten die Widerspruchsfreiheit und Vollständigkeit für zentrale Teilgebiete der Logik, nämlich für die klassische <a href="Aussagenlogik" title="Aussagenlogik">Aussagen-</a> und <a href="Pr%C3%A4dikatenlogik_erster_Stufe" title="Prädikatenlogik erster Stufe">Prädikatenlogik</a>. Meistens bezogen sich diese Logiker auf Teil-Axiomensysteme aus den <i><a href="Principia_Mathematica" title="Principia Mathematica">Principia Mathematica</a></i> von Russell/Whitehead, dem damaligen Standardwerk der Logik.

</p><p>Bezogen auf die gesamten <i>Principia Mathematica</i> und auf die ganze Mathematik schlug Hilberts Programm allerdings fehl: Kurt Gödel bewies nämlich 1930 in seinen <a href="G%C3%B6delscher_Unvollst%C3%A4ndigkeitssatz" title="Gödelscher Unvollständigkeitssatz">Unvollständigkeitssätzen</a>, dass es in den <i>Principia Mathematica</i> und verwandten Systemen, zu denen auch Cantors Mengenlehre gehört, immer Sätze gibt, die mit den Mitteln desselben Systems weder beweisbar noch widerlegbar sind, und dass solche Systeme ihre eigene Widerspruchsfreiheit nicht beweisen können. (<a href="Alan_Turing" title="Alan Turing">Alan Turing</a> kam beim eng verwandten <a href="Halteproblem" title="Halteproblem">Halteproblem</a> von <a href="Automat_(Informatik)" title="Automat (Informatik)">Automaten</a> auf ein ähnliches Ergebnis.)

</p><p>Das Hilbertprogramm war, auch wenn es sich nicht im vollen, ursprünglich intendierten Umfang als durchführbar erwies, ein Erfolg für Mathematik und Logik, da es zu tieferen Erkenntnissen darüber führte, wie <a href="Formales_System" title="Formales System">formale Systeme</a> funktionieren, was sie zu leisten vermögen und wo ihre Grenzen liegen. Wichtige Gebiete der modernen Mathematik und <a href="Informatik" title="Informatik">Informatik</a> sind aus dem Hilbertprogramm und seiner Metamathematik hervorgegangen, insbesondere die moderne formalisierte <a href="Axiomatische_Mengenlehre" title="Axiomatische Mengenlehre">axiomatische Mengenlehre</a>, die <a href="Beweistheorie" title="Beweistheorie">Beweistheorie</a>, die <a href="Modelltheorie" title="Modelltheorie">Modelltheorie</a> und die <a href="Berechenbarkeitstheorie" title="Berechenbarkeitstheorie">Berechenbarkeitstheorie</a>. Es zeigte sich auch, dass das modifizierte Hilbertprogramm mit erweiterten (transfiniten) Beweismitteln Widerspruchsfreiheitsbeweise für weitere Mathematik-Gebiete ermöglichte. Das führte <a href="Gerhard_Gentzen" title="Gerhard Gentzen">Gerhard Gentzen</a> mit seinem Widerspruchsfreiheitsbeweis der Arithmetik von 1936 vor. Von seinem Beweis ausgehend zeigte Wilhelm Ackermann im gleichen Jahr noch die Widerspruchsfreiheit der allgemeinen Mengenlehre (ohne <a href="Unendlichkeitsaxiom" title="Unendlichkeitsaxiom">Unendlichkeitsaxiom</a>) und 1951 <a href="Paul_Lorenzen" title="Paul Lorenzen">Paul Lorenzen</a> die der <a href="Typentheorie" title="Typentheorie">verzweigten Typentheorie</a> und der klassischen <a href="Analysis" title="Analysis">Analysis</a>.

</p>

<div class="mw-heading mw-heading2"><h2 id="Literatur">Literatur</h2></div>

<ul><li>Erhard Scholz: <i>Die Gödelschen Unvollständigkeitssätze und das Hilbertsche Programm einer „finiten“ Beweistheorie</i>. In: Wolfgang Achtner: <i>Künstliche Intelligenz und menschliche Person</i>. Marburg 2006, S. 15–38; <a rel="nofollow" class="external text" href="https://www.math.uni-wuppertal.de/~scholz/preprints/goedel.pdf">math.uni-wuppertal.de/~scholz</a> (PDF; 208 kB).</li>

<li>Christian Tapp: <i>An den Grenzen des Endlichen. Das Hilbertprogramm im Kontext von Formalismus und Finitismus.</i> Springer, Heidelberg 2013, ISBN 978-3-642-29654-3, <a rel="nofollow" class="external text" href="https://www.springer.com/978-3-642-29653-6">springer.com</a></li>

<li>Max Urchs: <i>Klassische Logik: eine Einführung</i>. Berlin 1993, ISBN 3-05-002228-0, Kapitel <i>Theorien erster Ordnung</i>, S. 137–149.</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Weblinks">Weblinks</h2></div>

<ul><li>Richard Zach: <a rel="nofollow" class="external text" href="https://plato.stanford.edu/entries/hilbert-program/"><i>Hilbert’s Program.</i></a> In: Edward N. Zalta (Hrsg.): <i><a href="Stanford_Encyclopedia_of_Philosophy" title="Stanford Encyclopedia of Philosophy">Stanford Encyclopedia of Philosophy</a></i>.</li>

<li>Richard Zach: <i>Hilbert’s Program Then and Now</i>. In: Dov M. Gabbay, Paul Thagard, John Woods: <i>Handbook of the Philosophy of Science</i>. Band 5: Dale Jacquette (Hrsg.): <i>Philosophy of Logic</i>. 2006; <a href="ArXiv" title="ArXiv">arxiv</a>:<a rel="nofollow" class="external text" href="https://arxiv.org/abs/math.LO/0508572">math.LO/0508572</a></li></ul>

<div class="mw-heading mw-heading2"><h2 id="Einzelnachweise">Einzelnachweise</h2></div>

<li id="cite_note-1"><span class="mw-cite-backlink"><a href="#cite_ref-1">↑</a></span> <span class="reference-text"><a href="David_Hilbert" title="David Hilbert">David Hilbert</a>: <i>Über das Unendliche</i>. In: <i>Mathematische Annalen</i>, 1926, 95, S. 170.</span>

</li>

<li id="cite_note-2"><span class="mw-cite-backlink"><a href="#cite_ref-2">↑</a></span> <span class="reference-text"><i>Die Grundlagen der Mathematik</i>. In: <i>Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universität</i>, 1928, VI. Band, S. 80.</span>

</li>

</ol>

<div>

Normdaten (Sachbegriff): <a href="Gemeinsame_Normdatei" title="Gemeinsame Normdatei">GND</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://d-nb.info/gnd/4209255-3">4209255-3</a></span> </div>

</div></div></div><div><div class="zim-footer">

Dieser Artikel wurde von <a class="external text" title="Zuletzt bearbeitet am 2025-06-04" href="https://de.wikipedia.org/wiki/?title=Hilbertprogramm&oldid=256695542">Wikipedia</a> herausgegeben. Der Text ist unter <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">Creative Commons Attribution-Share Alike 4.0</a> verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.

</div>

</div></div>

</div>

</main>

</div>

</body></html>